id.\*:("3-540-63385-5")
Results 1 to 1 of 1
Selection :
Computational logic and proof theory (Vienna, August 25-29, 1997)Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele et al.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63385-5, VIII, 348 p, isbn 3-540-63385-5Conference Proceedings